Shape Analysis of Functional Programs
نویسنده
چکیده
Data distribution algebras are an abstract notion for the description of parallel programs. Their dynamic execution can be optimized if they are shapely. In this paper we describe a shape analysis which allows compile-time shapeliness-tests. It operates on the structure of algebraic data types and works for arbitrary functional programs rather than only shapely ones. Besides a rst-order calculus we also propose a higher-order version which can handle higher-order functions as well.
منابع مشابه
Partial Evaluation of Shaped Programs: Experience with FISh
FISh is an array-based programming language that combines imperative and functional programming styles. Static shape analysis uses partial evaluation to convert arbitrary programs into simple, eecient imperative programs. This paper explains how to compute shapes statically, and uses concrete examples to illustrate its several eeects on performance.
متن کاملBottom-Up Shape Analysis
In this paper we present a new shape analysis algorithm. The key distinguishing aspect of our algorithm is that it is completely compositional, bottom-up and non-iterative. We present our algorithm as an inference system for computing Hoare triples summarizing heap manipulating programs. Our inference rules are compositional: Hoare triples for a compound statement are computed from the Hoare tr...
متن کاملPersian Handwriting Analysis Using Functional Principal Components
Principal components analysis is a well-known statistical method in dealing with large dependent data sets. It is also used in functional data for both purposes of data reduction as well as variation representation. On the other hand "handwriting" is one of the objects, studied in various statistical fields like pattern recognition and shape analysis. Considering time as the argument,...
متن کاملA Comparative Study on Body Shape of the Genus Alburnus (Rafinesque, 1820) in Iran, Using Geometric Morphometric Analysis
Geometric morphometric method was used to examine body shape variations among all the seven valid species of the genus Alburnus in Iran. In total 409 specimens of A. chalcoides, A. filippii, A. atropatenae, A. caeruleus, A. mossulensis, A. hohenackeri and A. zagrosensis were collected from Babolrud, Baleqlu-Chai, Miriseh, Sarabeleh, Gamasiyab, Mahabad-Chai Rivers and the Gandoman lagoon, respec...
متن کاملProof Automation for Functional Correctness in Substructural Logics
We describe an approach to automatically verify goals stated in substructural logics. In particular we are interested in proving the functional correctness of pointer programs that involve iteration and recursion. Building upon separation logic, our approach has been implemented as a tightly integrated tool chain – where a novel combination of proof planning and invariant generation lies at its...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1998